Automatically Learning Formal Models from Autonomous Driving Software
نویسندگان
چکیده
The correctness of autonomous driving software is utmost importance, as incorrect behavior may have catastrophic consequences. Formal model-based engineering techniques can help guarantee and thereby allow the safe deployment vehicles. However, challenges exist for widespread industrial adoption formal methods. One these model construction problem. Manual models time-consuming, error-prone, intractable large systems. Automating would be a big step towards methods system development, re-engineering, reverse engineering. This article applies active learning to obtain an existing (under development) module implemented in MATLAB. demonstrates feasibility automated automotive use. Additionally, practical applying automata learning, possible directions integrating into development workflow, are discussed.
منابع مشابه
Engineering Autonomous Driving Software
A larger number of people with heterogeneous knowledge and skills running a project together needs an adaptable, target, and skill-specific engineering process. This especially holds for a project to develop a highly innovative, autonomously driving vehicle to participate in the 2007 DARPA Urban Challenge. In this contribution, we present essential elements of a software and systems engineering...
متن کاملAutomatically Generated Safety Mechanisms from Semi-Formal Software Safety Requirements
Today’s automobiles incorporate a great number of functions that are realized by software. An increasing number of safety-critical functions also follow this trend. For the development of such functions, the ISO 26262 demands a number of additional steps to be performed compared to common software engineering activities. We address some of these demands with means to semi-formally express softw...
متن کاملFrom Trolleys to Risk: Models for Ethical Autonomous Driving.
The article by Fleetwood in this issue of AJPH provides an overview of the public health implications of highlyautomated vehicles, with a focus on the ethics of a vehicle’s behavior when a crash is unavoidable, i.e. its “ethical crashing algorithms.” While autonomous vehicles are widely-expected to reduce crash rates, those benefits may not be distributed equitably, and some users may receive m...
متن کاملLearning Autonomous Driving Styles and Maneuvers from Expert Demonstration
One of the many challenges in building robust and reliable autonomous systems is the large number of parameters and settings such systems often entail. The traditional approach to this task is simply to have system experts hand tune various parameter settings, and then validate them through simulation, offline playback, and field testing. However, this approach is tedious and time consuming for...
متن کاملLearning from Maps: Visual Common Sense for Autonomous Driving
Today’s autonomous vehicles rely extensively on high-definition 3D maps to navigate the environment. While this approach works well when these maps are completely upto-date, safe autonomous vehicles must be able to corroborate the map’s information via a real time sensor-based system. Our goal in this work is to develop a model for road layout inference given imagery from on-board cameras, with...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronics
سال: 2022
ISSN: ['2079-9292']
DOI: https://doi.org/10.3390/electronics11040643